Logical anti-exceptionalism and theoretical equivalence
نویسندگان
چکیده
منابع مشابه
Paradoxes of Logical Equivalence and Identity
Assuming the unrestricted application of classical logic, the paradoxes of truth, sets and properties make trouble for näıve intersubstitutivity principles, such as the principle that allows one to substitute, in non-intentional contexts, the claim that φ for the claim that ‘φ’ is true, or the claim that x is F for the claim that x has the property of being F . One way to respond to these parad...
متن کاملExistential Types: Logical Relations and Operational Equivalence
datatype, in terms of the existence of a `simulation' relation between the implementations (Mitchell 1991). This principle was extended to encompass all the (possibly impredicative) existential types of the Girard-Reynolds polymorphic lambda calculus by Plotkin and Abadi (1993). Their Theorem 7 shows that the principle gives a necessary and su cient condition for equality at existential type in...
متن کاملLogic Gates and Logical Equivalence of Adders
This is an experimental article which shows that logical correctness of logic circuits can be easily proven by the Mizar system. First, we define the notion of logic gates. Then we prove that an MSB carry of ’4 Bit Carry Skip Adder’ is equivalent to an MSB carry of a normal 4 bit adder. In the last theorem, we show that outputs of the ’4 Bit Carry Look Ahead Adder’ are equivalent to the corresp...
متن کاملParadoxes of logical equivalence and identity
Assuming the unrestricted application of classical logic, the paradoxes of truth, sets and properties make trouble for näıve intersubstitutivity principles, such as the principle that allows one to substitute the claim that φ for the claim that ‘φ’ is true, or the claim that x is F for the claim that x belongs to the set of F ’s in ordinary contexts. One way to respond to these paradoxes is to ...
متن کاملScientific representation and theoretical equivalence
In this paper I connect two debates in the philosophy of science; the questions of scientific representation and both model and theoretical equivalence. I argue that by paying attention to how a model is used to draw inferences about its target system, we can define a notion of theoretical equivalence that turns on whether their models licence the same claims about the same target systems. I br...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Analysis
سال: 2017
ISSN: 0003-2638,1467-8284
DOI: 10.1093/analys/anx133